Christine Choppy: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal verification of UML state diagrams

Choppy, Christine, Klai, Kais, Zidani, Hacene

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 779 KB

english, 2011

2

A UML-based approach for problem frame oriented software development

Christine Choppy, Gianna Reggio

Journal:

Information and Software Technology

Year:

2005

Language:

english

File:

PDF, 441 KB

english, 2005

3

[Lecture Notes in Computer Science] Foundations of Computer Software. Future Trends and Techniques for Development Volume 6028 || Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

Choppy, Christine, Sokolsky, Oleg

Year:

2010

Language:

english

File:

PDF, 359 KB

english, 2010

4

[Lecture Notes in Computer Science] Foundations of Computer Software. Future Trends and Techniques for Development Volume 6028 ||

Choppy, Christine, Sokolsky, Oleg

Year:

2010

Language:

english

File:

PDF, 7.48 MB

english, 2010

5

Formalizing non-concurrent UML state machines using colored petri nets

André, Étienne, Choppy, Christine, Klai, Kais

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 891 KB

english, 2012

6

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1827 || A Uniform Model Theory for the Specification of Data and Process Types

Bert, Didier, Choppy, Christine, Mosses, Peter D.

Year:

2000

Language:

english

File:

PDF, 225 KB

english, 2000

7

Formalising concurrent UML state machines using coloured Petri nets

André, Étienne, Benmoussa, Mohamed Mahdi, Choppy, Christine

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 2.07 MB

english, 2016

8

Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

Gilles Bernot, Michel Bidoit, Christine Choppy

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 1.88 MB

english, 1986

9

Coloured Petri net refinement specification and correctness proof with Coq

Christine Choppy, Micaela Mayero, Laure Petrucci

Journal:

Innovations in Systems and Software Engineering

Year:

2010

Language:

english

File:

PDF, 442 KB

english, 2010

10

Experimenting Formal Proofs of Petri Nets Refinements

Christine Choppy, Micaela Mayero, Laure Petrucci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 351 KB

english, 2008

11

A formally grounded software specification method

Christine Choppy, Gianna Reggio

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 584 KB

english, 2006

12

[Lecture Notes in Computer Science] Foundations of Computer Software. Future Trends and Techniques for Development Volume 6028 || Software Engineering Techniques for the Development of Systems of Systems

Choppy, Christine, Sokolsky, Oleg

Year:

2010

Language:

english

File:

PDF, 610 KB

english, 2010

13

ViewpointResearch evaluation for computer science

Meyer, Bertrand, Choppy, Christine, Staunstrup, Jørgen, van Leeuwen, Jan

Journal:

Communications of the ACM

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

14

[IEEE 2006 13th Asia Pacific Software Engineering Conference (APSEC'06) - Bangalore, India (2006.12.6-2006.12.8)] 2006 13th Asia Pacific Software Engineering Conference (APSEC'06) - Component composition through architectural patterns for problem frames

Choppy, Christine, Hatebur, Denis, Heisel, Maritta

Year:

2006

Language:

english

File:

PDF, 175 KB

english, 2006

15

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Behaviour Recognition Using Chronicles

Carle, Patrice, Choppy, Christine, Kervarc, Romain

Year:

2011

Language:

english

File:

PDF, 601 KB

english, 2011

16

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - A method for developing UML state machines

Choppy, Christine, Reggio, Gianna

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

17

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Designing architectures from problem descriptions by interactive model transformation

Alebrahim, Azadeh, Côté, Isabelle, Heisel, Maritta, Choppy, Christine, Hatebur, Denis

Year:

2012

Language:

english

File:

PDF, 460 KB

english, 2012

18

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - A well-founded approach to service modelling with Casl4Soa

Choppy, Christine, Reggio, Gianna

Year:

2010

Language:

english

File:

PDF, 583 KB

english, 2010

19

Behavioural Analysis for Distributed Simulations

Carle, Patrice, Choppy, Christine, Kervarc, Romain, Piel, Ariane

Year:

2012

Language:

english

File:

PDF, 626 KB

english, 2012

20

[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML

Choppy, Christine, Reggio, Gianna, Tran, Khanh-Dung

Year:

2012

Language:

english

File:

PDF, 707 KB

english, 2012

21

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1827 || Algebraic Specification of Operator-Based Multimedia Scenarios

Bert, Didier, Choppy, Christine, Mosses, Peter D.

Year:

2000

Language:

english

File:

PDF, 283 KB

english, 2000

22

[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows

Carle, Patrice, Choppy, Christine, Kervarc, Romain, Piel, Ariane

Year:

2013

Language:

english

File:

PDF, 656 KB

english, 2013